$\forall$$g$:OCMon, $a$, $b$:$\mid$$g$$\mid$. ($\neg$($b$ $<$ $a$)) $\Leftarrow\!\Rightarrow$ ($a$ $\leq$ $b$)